Tunable Full?Color Vectorial Meta?Holography

The vectorial λ-calculus

We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this extension of λ-calculus: it is able to statically describe the linear combinations of terms that will be obtained when reducing the programs. This gives rise to an original type theory where types, in the same way as terms, can be superposed into linear combinations. ...

Normality of Vectorial Functions

The most important building blocks of symmetric cryptographic primitives such as the DES or the AES, are vectorial Boolean functions, also called S-boxes. In this paper, we extend the definition of normality for Boolean functions into several new affine invariant properties for vectorial Boolean functions. We compute the probability of occurrence of these properties and present practical algori...

Vectorial Pattern Databases

In this work, a new approach for creating Pattern Databases (PDBs) is suggested that induces non-consistent heuristic functions just by recognizing feasible (yet admissible) heuristic values. This approach serves to generalize even further the BPMX propagation rule, that will work now even in directed graphs. Experiments in different state spaces show a noticeable improvement over the Scalar Pa...

Vectorial fast correlation attacks

Design of a continuously tunable delay line using vectorial modulational instability and chromatic dispersion in optical fibers

We design an all-optical tunable delay line based on both dispersive and wavelength conversion stages involving modulational instability of a twofrequency pump field propagating in a highly birefringent fiber. More precisely, we numerically show that, by varying the frequency separation between the two orthogonally polarized pump waves, we achieve a controllable and continuous delay of hundreds...